Definability for equational theories of commutative groupoids
نویسندگان
چکیده
منابع مشابه
Definability for Equational Theories of Commutative Groupoids †
We find several large classes of equations with the property that every automorphism of the lattice of equational theories of commutative groupoids fixes any equational theory generated by such equations, and every equational theory generated by finitely many such equations is a definable element of the lattice. We conjecture that the lattice has no non-identical automorphisms.
متن کاملDefinability in the Lattice of Equational Theories of Commutative Semigroups
In this paper we study first-order definability in the lattice of equational theories of commutative semigroups. In a series of papers, J. Ježek, solving problems posed by A. Tarski and R. McKenzie, has proved, in particular, that each equational theory is first-order definable in the lattice of equational theories of a given type, up to automorphism, and that such lattices have no automorphism...
متن کاملStar-quasilinear Equational Theories of Groupoids
We investigate equational theories E of groupoids with the property that every term is E-equivalent to at least one linear term.
متن کاملDefinability in the lattice of equational theories of semigroups
We study first-order definability in the lattice L of equational theories of semigroups. A large collection of individual theories and some interesting sets of theories are definable in L . As examples, if T is either the equational theory of a finite semigroup or a finitely axiomatizable locally finite theory, then the set {T, T } is definable, where T ∂ is the dual theory obtained by invertin...
متن کاملBeyond Regularity: Equational Tree Automata for Associative and Commutative Theories
A new tree automata framework, called equational tree automata, is presented. In the newly introduced setting, congruence closures of recognizable tree languages are recognizable. Furthermore, we prove that in certain useful cases, recognizable tree languages are closed under union and intersection. To compare with early related work, e.g. [7], we discuss the relationship between linear bounded...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Czechoslovak Mathematical Journal
سال: 2012
ISSN: 0011-4642,1572-9141
DOI: 10.1007/s10587-012-0032-7